Topics of Formal Methods in HCI
نویسندگان
چکیده
In this chapter, we present an overview of some of the general themes and topics that can be seen in research into formal methods in human–computer interaction. We discuss how the contents of the rest of the book relate to these topics. In particular, we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.
منابع مشابه
Using Formal Methods in Safety-Critical Interactive System Design: from Architecture-based Approaches to Tool-based Development
Although formal methods are increasingly used by researchers in HCI, their usage in actual interactive developments has not been put in practice. In this article, we describe our experience with a specific formal method –the B method– from two viewpoints. On the one hand, we demonstrate how it is possible to use formal methods on real development, from specification to actual code. Our case stu...
متن کاملElectronic Non Formal Education: A Case Study of Tehran Municipality
Considering the emergence of brand-new educational needs, non-formal education as a prerequisite of a knowledge-based society is increasingly going popular among nations in view of its continual nature. However, life-long learning as a key concept of the modern education system stands clearly at odds with traditional learning in every way of philosophy, objectives,...
متن کاملFormal Validation of HCI User Tasks
Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design and validation activities. This paper shows how the B formal technique can be used for user tasks modelling and validation. A trace based semantics is used to describe either the HCI or the user tasks. Each task is modell...
متن کاملComparing the effect of climate condition on tourism calendar in arid and humid cities using Holiday Climate Index (HCI) (Case Study: Isfahan and Rasht)
Climatic conditions have a major influence in attracting tourists to a city in different months. In this study, the potential of Isfahan and Rasht as arid and humid cities, respectively, was investigated in terms of attracting tourists during a year. For this purpose, the Holiday Climate Index (HCI), which has been designed based on daily climate information, was used. The results showed t...
متن کاملIssues and strategies for integrating HCI in masters level MIS and e-commerce programs
Human–computer interaction (HCI) is an important knowledge component for graduate management information systems (MIS) and E-commerce (EC) programs. HCI topics, such as user-centered design and usability testing, have begun to receive increasing attention in MIS/ EC curricula because of their importance in the development of Web-based solutions. This paper discusses issues and approaches for in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017